Galois Connections: Mathematics, Art and Archives
نویسندگان
چکیده
Évariste Galois (1811–1832) has been increasingly recognised as an important mathematician who despite his short life developed mathematical ideas that today have led to applications in computer science (such as Galois connections) and elsewhere. Some of Galois’ mathematics can be visualised in interesting and even artistic ways, aided using software. In addition, a significant corpus of the historical documentation on Galois and his family (including his brother Alfred Galois, who was an artist), can now be accessed online as a growing number of institutional archives digitise their collections. This paper introduces some of the mathematics of Galois, ways in which it can be visualised, and also considers the issues and new opportunities with respect to visualising information on Galois and his family (including the connections between them). Although the story of Galois and his close relations can be seen as one of tragedy with lives cut short, from a historical viewpoint Évariste Galois’ contribution to humankind has been a triumph.
منابع مشابه
Fuzzy Galois Connections
The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided. 1...
متن کاملLagois Connections - a Counterpart to Galois Connections
In this paper we deene a Lagois connection, which is a generalization of a special type of Galois connection. We begin by introducing two examples of Lagois connections. We then recall the deenition of Galois connection and some of its properties; next we deene Lagois connection, establish some of its properties, and compare these with properties of Galois connections; and then we (further) dev...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملOn closure axioms for a matroid using Galois connections∗
We present two systems of closure axioms for a matroid with the assistance of Galois connections. These axioms give a mathematical foundation for the connections between matroids, Galois connections and concept lattices. We deal with some relationship between matroids and geometric lattices by the above axioms. We also discuss some applications between matroids and concept lattices with the abo...
متن کاملGalois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de ̨ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ̨xed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also presents the theory and application of Galois connections between partially ordered se...
متن کامل